g(f(a, a), a, f(h(a), f(a, a)))